Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen

Source URL: files.sri.inf.ethz.ch

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch

Source URL: nsg.ee.ethz.ch

• Computing
• Computer networking
• Internet architecture
• Networking hardware
• Router
• Server appliance
• Forwarding
• Information and communications technology
• Data transmission

Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev

Source URL: nsg.ee.ethz.ch

• Computer networking
• Inter-process communication
• Traffic flow
• Egress
• Path

Searching large hypothesis spaces by asking questions Alexander N. Cohen () Brenden M. Lake () Hunter College High School

Source URL: cims.nyu.edu

• Probability and statistics
• Statistics
• Statistical theory
• Bayesian network
• Bayesian inference
• Statistical hypothesis testing
• Twenty Questions
• Bayesian programming

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–162) TILTING COHEN–MACAULAY REPRESENTATIONS Osamu Iyama Dedicated to the memory of Ragnar-Olaf Buchweitz

Source URL: eta.impa.br

• Algebra
• Abstract algebra
• Mathematics
• Commutative algebra
• Algebraic structures
• Homological algebra
• Algebraic geometry
• Representation theory
• Gorenstein ring
• CohenMacaulay ring
• Tilting theory
• Commutative ring

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Network theory
• Mathematics
• Edsger W. Dijkstra
• Shortest path problem
• Routing
• Reachability
• Computing
• Discrete mathematics
• Network architecture

PHYSICAL REVIEW B 80, 245410 !2009" Dephasing rate formula in the many-body context Doron Cohen,1 Jan von Delft,2 Florian Marquardt,2 and Yoseph Imry3 1Department

Source URL: www.theorie2.physik.uni-erlangen.de

Web-scale Data Integration: You can only afford to Pay As You Go Jayant Madhavan, Shawn R. Jeffery, Shirley Cohen, Xin (Luna) Dong, David Ko, Cong Yu, Alon Halevy Google, Inc. , ,

Source URL: people.cs.uchicago.edu

SCIENCE & TECHNOLOGY POLICY IN STITUTE Options for Enabling Innovation with a Photonics Foundry Ecosystem Brian S. Cohen Robert F. Leheny

Source URL: www.ida.org

Pittsburgh Legal Journal • 3 Monday, June 4, 2018 CR; Pierre Jamar Cohen; Endangering Welfare of Children - Parent/Guardian/Other Commits Offense; ADA: Jeffrey Michael Zurisko; D-atty:

Source URL: www.palegalads.org